Petri Net

Internet-based workflows: a paradigm for dynamically reconfigurable desktop environments

Workflow Management Systems / Real Time / Petri Net / Workflow Management System / Workflows / Internet

XHMBS: A formal model to support hypermedia specification

Information Structure / Formal Specification / Communication Channels / Petri Net / Dynamic Panel Data / Formal Model

Preserving correctness during business process model configuration

Computer Software / Configural Processing / Petri Net

Preserving correctness during business process model configuration

Computer Software / Configural Processing / Petri Net / Configuration

Petri nets control design for hybrid electrical energy systems

Supervisory Control / Renewable Energy System / Control Design / Petri Net / Energy System / Power Converter / Energy Transfer / Duty Cycle / Power Converter / Energy Transfer / Duty Cycle

Genetic process mining: an experimental evaluation

Information Systems / Genetics / Process Mining / Genetic Algorithm / Data Mining and Knowledge Discovery / Petri Net / Experimental Evaluation / Word Processing / Data Format / Petri Net / Experimental Evaluation / Word Processing / Data Format

Business process mining: An industrial application

Information Systems / Software Engineering / Data Mining / Business Process Management / Process Mining / Petri Nets / Workflow Management Systems / Business process analysis / Industrial Application / Business Process / Petri Net / Word Processing / Social Network Analysis / Petri Nets / Workflow Management Systems / Business process analysis / Industrial Application / Business Process / Petri Net / Word Processing / Social Network Analysis

ProM 4.0: Comprehensive Support for Real Process Analysis

Process Mining / Flow Control / Genetic Algorithm / Model Transformation / Active Control / Process Analysis / Petri Net / Model Analysis / Process Model / Process Analysis / Petri Net / Model Analysis / Process Model

Model interoperability via Model Driven Development

Distributed Computing / Software Development / Formal Analysis / Software Design / Model Transformation / Model Driven Development / Petri Net / Computer System / Software Systems / Ease of Use / Software Development Process / Model Driven Development / Petri Net / Computer System / Software Systems / Ease of Use / Software Development Process

A 3-factor epistatic model predicts digital ulcers in Italian scleroderma patients

Cytokines / Italy / Humans / Systemic sclerosis / Female / Male / Clinical Sciences / Petri Net / European / Middle Aged / Genotype / Adult / Fingers / Male / Clinical Sciences / Petri Net / European / Middle Aged / Genotype / Adult / Fingers

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement

Applied Mathematics / Supervisory Control / Petri Net / Mutual Exclusion
Copyright © 2017 DATOSPDF Inc.